nested quantifiers questions

welcome to shbcf.ru